1. Applications of process algebra
پدیدآورنده : / edited by J.C.M. Baeten. -
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer science--Mathematics,Computer network protocols.,Axiomatic set theory.
رده :
QA
,
76
.
9
,.
M35
,
A6
,
1990
2. Applications of process algebra
پدیدآورنده : / J.C.M. Baeten
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Machine theory.,Computer science--Mathematics.,Computer network protocols.,Axiomatic set theory.
رده :
QA
267
.
A67
2004
3. Discrete mathematical structures
پدیدآورنده : Rao, H.S.G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Computer science,، Mathematics,، Set theory
رده :
QA
76
.
9
.
M35
R36
2004
4. Discrete structures
پدیدآورنده : Gupta, Satinder Bal
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Set theory,، Functions,، Graph theory,، Algebra
رده :
QA
76
.
9
.
M35G86
5. Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
6. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
رده :
QA
9
.
N53
2002
